On a More Precise L- relation
نویسندگان
چکیده
منابع مشابه
A More Precise Implementation Relation for Distributed Testing
There has been significant interest in distributed testing from an input output transition system. Previous work introduced an implementation relation dioco that was defined in terms of an equivalence relation on traces (sequences of observations). This paper considers an alternative approach in which an observation made in testing is a tuple of local traces, one for each tester. This paper def...
متن کاملMore Precise Partition Abstractions
We define, for any partition of a state space and for formulas of the modal μ-calculus, two variants of precision for abstractions that have the partition set as state space. These variants are defined via satisfaction parity games in which the Refuter can replace a concrete state with any state in the same partition before, respectively after, a quantifier move. These games are independent of ...
متن کاملA More Precise Solution to Two Problems on Tries ( Preliminary
We use the Binomial Transform to address the problem of determining the average size and leaf depth of a trie. These problems lead to the need to nd the poles of the function 1 1?p s+1 ?q s+1 , which we solve exactly up to low-order terms. This improves previous asymptotic approximations, which although solve the problem to a higher precision, do not allow to compute exact values for the main t...
متن کاملA more precise characterization of chaperonin substrates
MOTIVATION Molecular chaperones prevent the aggregation of their substrate proteins and thereby ensure that they reach their functional native state. The bacterial GroEL/ES chaperonin system is understood in great detail on a structural, mechanistic and functional level; its interactors in Escherichia coli have been identified and characterized. However, a long-standing question in the field is...
متن کاملA More Precise Higgs Boson Mass
A great insight of twentieth-century science is that symmetries expressed in the laws of nature need not be manifest in the outcomes of those laws. Consider the snowflake. Its structure is a consequence of electromagnetic interactions, which are identical from any direction, but a snowflake only looks the same when rotated by multiples of 60◦ about a single axis. The full symmetry is hidden by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Monthly Notices of the Royal Astronomical Society
سال: 1987
ISSN: 0035-8711,1365-2966
DOI: 10.1093/mnras/226.4.989